Regular bi-interpretability of Chevalley groups over local rings
نویسندگان
چکیده
We prove that if $$G(R)=G_\pi (\Phi ,R)$$ $$(E(R)=E_{\pi }(\Phi , R))$$ is an (elementary) Chevalley group of rank $$> 1$$ R a local ring (with $$\frac{1}{2}$$ for the root systems $${{\textbf{A}}}_2, {{\textbf{B}}}_l, {{\textbf{C}}}_l, {{\textbf{F}}}_4, {{\textbf{G}}}_2$$ and with $$\frac{1}{3}$$ $${{\textbf{G}}}_{2})$$ then G(R) (or (E(R)) regularly bi-interpretable R. As consequence this theorem, we show class all groups over rings listed restrictions) elementarily definable, i.e., arbitrary H have $$H\equiv G_\pi R)$$ there exists $$R'\equiv R$$ such $$H\cong ,R')$$ .
منابع مشابه
Chevalley Groups over Commutative Rings I. Elementary Calculations
This is the rst in a series of papers dedicated to the structure of Chevalley groups over commutative rings. The goal of this series is to systematically develop methods of calculations in Chevalley groups over rings, based on the use of their minimal modules. As an application we give new direct proofs for normality of the elementary subgroup, description of normal subgroups and similar result...
متن کاملOrthogonal Groups over Local Rings
In an earlier paper [S] we have determined the structure of the linear groups over a local ring. In this note we continue the study of the classical groups over a local ring with the investigation of the orthogonal groups. Our main result (cf. Theorem 6 below) is a complete description of the invariant subgroups of an orthogonal group of noncompact type (i.e., of index ^ 1) over a local ring L ...
متن کاملChow Rings and Cobordism of Some Chevalley Groups
We compute the cobordism rings of the classifying spaces of a certain class of Chevalley groups. In the particular case of the general linear group, we prove that it is isomorphic to the Chow ring.
متن کاملLow Dimensional Homology of Linear Groups over Hensel Local Rings
We prove that if R is a Hensel local ring with infinite residue field k, the natural map Hi(GLn(R),Z/p) → Hi(GLn(k), Z/p) is an isomorphism for i ≤ 3, p 6= char k. This implies rigidity for Hi(GLn), i ≤ 3, which in turn implies the Friedlander–Milnor conjecture in positive characteristic in degrees ≤ 3. A fundamental question in the homology of linear groups is that of rigidity: given a smooth ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European journal of mathematics
سال: 2023
ISSN: ['2199-675X', '2199-6768']
DOI: https://doi.org/10.1007/s40879-023-00659-4